Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
81	PHYSICAL REVIEW X 6, Scalable Quantum Simulation of Molecular Energies P. J. J. O’Malley,1,* R. Babbush,2,† I. D. Kivlichan,3 J. Romero,3 J. R. McClean,4 R. Barends,5 J. Kelly,5 P. Roushan,5 A. Tranter Add to Reading List Source URL: web.physics.ucsb.edu Language: English - Date: 2016-07-22 21:13:46 Quantum information science Quantum computing Models of computation Fault-tolerant computer systems Quantum error correction Quantum circuit Quantum gate Qubit Condensed matter physics Controlled NOT gate HartreeFock method
82	Computability 1 Tao Jiang Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2002-01-28 23:36:37 Computability theory Theory of computation Turing machine Models of computation Theoretical computer science Computability Algorithm Halting problem Reduction Computable function NP Complexity class
83	On UML’s Composite Structure Diagram Ian Oliver, Vesa Luukkala Nokia Research Center Helsinki, Finland {ian.oliver,vesa.luukkala}@nokia.com Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2006-08-22 05:01:00 Diagrams Infographics Unified Modeling Language Models of computation Composite structure diagram Object-oriented programming Class diagram Object Process Methodology State diagram Object diagram Systems Modeling Language Class
84	Program Chairs Malu Castellanos Ton Weijters Publication and coordination chair Manolo Carcia-Solaco Program Committee Add to Reading List Source URL: bpm2005.loria.fr Language: English - Date: 2005-09-12 10:44:40 Process management Diagrams Workflow technology Models of computation Process mining Concurrency Petri net Process modeling Conformance checking Business process management Business process modeling Conceptual model
85	Microsoft PowerPoint - universal_machinesv2.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-12-08 08:45:06 Computability theory Theoretical computer science Formal methods Models of computation Lambda calculus Eval Scheme Env Interpreter Anonymous function Halting problem Turing machine
86	Weighted Synergy Graphs for Role Assignment in Ad Hoc Heterogeneous Robot Teams Somchaya Liemhetcharat and Manuela Veloso School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213, USA a Add to Reading List Source URL: somchaya.org Language: English - Date: 2014-05-05 11:44:14 Combinatorial optimization Matching Models of computation Robotics Algorithm Machine learning Robot Hungarian algorithm Multi-agent system A* search algorithm Humanoid robot Agent-based model
87	CONCURThe Benefits of Sometimes Not Being Discrete Jane Hillston LFCS, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-09-02 12:04:09 Process calculus Model checking Stochastic processes Models of computation Markov models
88	Univerzita Karlova v Praze Matematicko-fyzik´aln´ı fakulta ´ PRACE ´ DIPLOMOVA Add to Reading List Source URL: iuuk.mff.cuni.cz Language: English - Date: 2014-12-04 09:32:28 Sorting algorithms Analysis of algorithms Cache Models of computation Cache-oblivious algorithm
89	Additively efficient universal computers Daniel Dewey∗ Oxford Martin Programme on the Impacts of Future Technology, Future of Humanity Institute Add to Reading List Source URL: www.danieldewey.net Language: English - Date: 2014-04-04 07:59:10 Turing machine Computability theory Theory of computation Models of computation Alan Turing Universal Turing machine Turing completeness Kolmogorov complexity Computational complexity theory ChurchTuring thesis Cellular automaton Computer
90	ABOUT MANUSCRIPTS FOR IJ ITA Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:46:58 Scientific modeling Models of computation Simulation Business process modeling Modeling and simulation Systems engineering Modeling language Business process management Petri net Conceptual model Scientific modelling